transition:    
q1-c-q2;
q1-b-q1;
q2-a-q1;
q2-b-q1;
q2-c-q1;
initial:
q1;
final: 
q1.